Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
321	2-dimensional CP (N ) model. Asymptotic freedom. Restoration of symmetry. Instantons CP (N −1) model in d = 1 + 1 (from ‘Complex Projective’) The main objects of the CP N−1 model are N complex fields vA (x), A = Add to Reading List Source URL: thd.pnpi.spb.ru Language: English - Date: 2008-12-19 09:58:43 Spectral theory Mathematical analysis Lie algebras Representation theory of Lie groups Ordinary differential equations Perturbation theory Physics Abstract algebra
322	An extended abstract of this work appeared in the proceedings of PKCThis is the full version. Tightly-Secure Signatures from Chameleon Hash Functions Olivier Blazy1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-22 09:39:13 Civil law Digital signature Key management Notary RSA Model theory Structure Permutation Mathematics Public-key cryptography Cryptography
323	THE CONQUEST OF SOUTH AMERICAN INFLATION THOMAS SARGENT, NOAH WILLIAMS, AND TAO ZHA Abstract. We infer determinants of Latin American hyperinflations and stabilizations by using the method of maximum likelihood to estima Add to Reading List Source URL: www.ssc.wisc.edu Language: English - Date: 2008-09-29 16:42:33 Numismatics Seigniorage Taxation Hidden Markov model Albert Marcet Conditional expectation Stochastic process Statistics Markov models Probability theory
324	LAND PRICES AND UNEMPLOYMENT ZHENG LIU, JIANJUN MIAO, AND TAO ZHA Abstract. We integrate the housing market and the labor market in a dynamic general equilibrium model with credit and search frictions. The model is confr Add to Reading List Source URL: www.laef.ucsb.edu Language: English - Date: 2015-04-24 13:01:22 Marxist theory Economic systems Unemployment Capitalism Labour economics Matching theory Financial accelerator Economics Macroeconomics Labor economics
325	Certain Answers as Objects and Knowledge Leonid Libkin School of Informatics, University of Edinburgh Abstract The standard way of answering queries over incomplete Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-01 15:00:03 Model theory Relational model FO Function Closed world assumption Lambda calculus SQL Interpretation Structure Mathematical logic Mathematics Logic
326	ALICe: A Framework to Improve Aﬃne Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-16 04:29:27 Loop invariant Invariant Control flow Abstract interpretation State space Mathematics Science Knowledge Control theory Cybernetics Model checking
327	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
328	Efficient Network Coding Signatures in the Standard Model Dario Catalano1 , Dario Fiore2? and Bogdan Warinschi3 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-03-14 12:17:36 Cryptography Abstract algebra Linear algebra Information theory Network coding Vector space Digital signature Linear map Homomorphic signatures for network coding Algebra Mathematics Finite fields
329	GRAPHICAL ASIAN OPTIONS MARK S. JOSHI Abstract. We discuss the problem of pricing Asian options in Black–Scholes model using CUDA on a graphics processing unit. We survey some of the issues with GPU programming and dis Add to Reading List Source URL: fbe.unimelb.edu.au Language: English - Date: 2013-08-05 02:12:17 Finance Equations Probability theory Risk-neutral measure CUDA Asian option Black–Scholes Heat equation Binomial options pricing model Financial economics Mathematical finance Options
330	Template Attacks with a Power Model — Illustration on the Side-Channel Cryptanalysis of an Unprotected DES Crypto-Processor — Moulay Abdelaziz EL AABID Sylvain GUILLEY Philippe HOOGVORST Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2007-12-06 09:13:27 Matrix theory Linear algebra Abstract algebra Eigenvalues and eigenvectors Principal component analysis Matrix Eigendecomposition of a matrix Perron–Frobenius theorem Algebra Mathematics Singular value decomposition

UPDATE